Search Results
Great Ideas in Theoretical Computer Science: Logic (Spring 2013)
Great Ideas in Theoretical Computer Science: Computability (Spring 2013)
Great Ideas in Theoretical Computer Science: Probability 1 (Spring 2013)
Great Ideas in Theoretical Computer Science: Gödel's Incompleteness Theorems (Spring 2013)
Great Ideas in Theoretical Computer Science: Countability and Diagonalization (Spring 2013)
Great Ideas in Theoretical Computer Science: Boolean Formulas and Circuits (Spring 2016)
Great Ideas in Theoretical Computer Science: Turing's Legacy (Spring 2015)
Great Ideas in Theoretical Computer Science: Deductive Systems (Spring 2015)
Great Ideas in Theoretical Computer Science: Intro (Spring 2016) (audio broken; see description)
Spring 2013 Lecture 19 Quantum Computation default b4aea100
Great Ideas in Theoretical Computer Science: Time Complexity (Spring 2016)
Logic Crash - Intro to Theoretical Computer Science
